لطفا کمی صبر نمایید ...
ورود
جستجوی پیشرفته
استعلام پایان نامه
مقالات فارسی
ISI
کنفرانسها
ژورنالها
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
ورود / ثبت نام
مقالات فارسی
مقالات ISI
کنفرانس های ایران
ژورنالها و مجلات
مجموعه مقالات
جلسات علمی
استعلام پایان نامه
ظاهر تیره
استعلام پایان نامه
جستجوی مقالات داخلی
دسته بندی:
مقالات کنفرانسی
مقالات ژورنالی
کتابها
طرح های پژوهشی
اسناد پژوهشی
گزارشات
نوع نتایج:
دارای فایل کامل
دارای فایل Word
جستجو بدون در نظر گرفتن جایگاه کلمات صورت بگیرد
محدود کردن سال انتشار مقاله به:
همه سالها
سالهای معین:
جستجو
نمایش
کلیه اطلاعات
فقط عنوان مقاله
تعداد نتایج در هر صفحه
10
20
مرتب سازی با
عنوان مقاله
سال انتشار
نمایه سازی
صعودی
نزولی
فیلتر نتایج
امین فرح بخش طولی
محمد ایزدی
سیدحسن میریان حسین آبادی
سید محمد حسینی
حسن حقیقی
نتایج 11 تا 20 از مجموع 20
1
2
مقاله کنفرانسی
بررسی نحوه بیان گونه های مختلف عدم قطعیت در تئوری انواع مارتین لوف
نویسندگان:
حسن حقیقی
،
سیدحسن میریان حسین آبادی
سال انتشار 1383
محل انتشار:
دهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
کاربرد روشهای صوری درطراحی سیستمهای عامل و توصیف صوری یک سیستم زمان بند
نویسندگان:
امین فرحبخش طولی
،
جواد اسدی
سال انتشار 1390
محل انتشار:
چهاردهمین کنفرانس دانشجویی مهندسی برق کشور
تعداد صفحات:
13
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
روشهای صوری راهی فراروی مهندسی نرم افزار
نویسندگان:
جواد اسدی
،
امین فرحبخش طولی
سال انتشار 1390
محل انتشار:
اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
به سوی توسعه یک مدلسازی صوری از تمامی جنبه های اصلی سیستمهایهمروند
نویسندگان:
حسن حقیقی
،
سیده سارا شریفی راد
سال انتشار 1390
محل انتشار:
اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z
نویسندگان:
حسن حقیقی
،
سلیمه جوادیان
،
محمدمهدی جوانمرد
سال انتشار 1388
محل انتشار:
پانزدهمین کنفرانس کامپیوتر سالانه انجمن کامپیوتر ایران
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
توصیف صوری بازسازی مدلهای UML با اثبات حفظ رفتار
نویسندگان:
سوده حسینی
،
محمد عبداللهی ازگمی
سال انتشار 1387
محل انتشار:
شانزدهمین کنفرانس مهندسی برق ایران
تعداد صفحات:
6
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
توصیف صوری سیستم های احتمالاتی در Z
نویسندگان:
سیدحسن میریان حسین آبادی
،
سیدوحید هاشمیان
سال انتشار 1381
محل انتشار:
هشتمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات:
9
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
روشی صوری برای توصیف و سنجش سازگاری موجهات در سیاست های مدیریت سیستم های توزیع شده باز
نویسندگان:
محمد ایزدی
،
علی موقر رحیم آبادی
سال انتشار 1384
محل انتشار:
دومین کنفرانس بین المللی فناوری اطلاعات و دانش
تعداد صفحات:
8
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
از توصیف به زبان Z تا برنامه نمونه
نویسندگان:
بهناز چنگیزی
،
سیدحسن میریان حسین آبادی
سال انتشار 1386
محل انتشار:
پانزدهیمن کنفرانس مهندسی برق ایران
تعداد صفحات:
7
| زبان: فارسی
مشاهده خلاصه و دریافت
مقاله کنفرانسی
توصیف صوری نمودارهای گردش کار
نویسندگان:
بهرنگ عاصمی
،
سیدمحمد حسینی
سال انتشار 1385
محل انتشار:
دومین کنفرانس بین المللی مدیریت فناوری اطلاعات و ارتباطات
تعداد صفحات:
16
| زبان: فارسی
مشاهده خلاصه و دریافت
نتایج 11 تا 20 از مجموع 20
1
2